University of Manchester - PDFSEARCH.IO - Document Search Engine

University of Manchester
Results: 1471

#	Item
281	Wagging Logic: Implicit Parallelism Extraction Using Asynchronous Methodologies Charlie Brej School of Computer Science, The University of Manchester, Oxford Road, Manchester, M13 9PL, UK Email: Abstr Add to Reading List Source URL: apt.cs.manchester.ac.uk Language: English - Date: 2014-05-13 09:16:32
282	PRELIMINARY University of Manchester AMULET2e 32-bit Integrated Asynchronous Microprocessor Add to Reading List Source URL: apt.cs.manchester.ac.uk Language: English - Date: 2014-05-13 09:16:20
283	Explaining by Example: Model Exploration for Ontology Comprehension Johannes Bauer, Ulrike Sattler, and Bijan Parsia School of Computer Science, The University of Manchester, UK Abstract. In this paper, we describe an a Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2009-07-07 04:46:34
284	NEW RATIONALITY PRINCIPLES IN PURE INDUCTIVE LOGIC A thesis submitted to the University of Manchester for the degree of Doctor of Philosophy in the Faculty of Engineering and Physical Sciences Add to Reading List Source URL: www.maths.manchester.ac.uk Language: English - Date: 2015-07-23 09:56:44
285	Paper Mechanics Purpose, Style and Organization Joshua Knowles School of Computer Science The University of Manchester Add to Reading List Source URL: studentnet.cs.manchester.ac.uk Language: English - Date: 2015-03-11 12:24:11
286	Computable Real Analysis without Set Theory or Turing Machines Paul Taylor Department of Computer Science University of Manchester UK EPSRC GR/S58522 Add to Reading List Source URL: www.monad.me.uk Language: English - Date: 2009-02-12 12:33:09
287	Deciding ALBO with Tableau Renate A. Schmidt1 and Dmitry Tishkovsky1 School of Computer Science, The University of Manchester {renate.schmidt,dmitry.tishkovsky}@manchester.ac.uk This paper presents a tableau approach for Add to Reading List Source URL: sunsite.informatik.rwth-aachen.de Language: English - Date: 2007-05-22 01:39:22
288	Sampo Pyysalo1,2, Pontus Stenetorp 2, Tomoko Ohta1,2, Jin-Dong Kim3 and Sophia Ananiadou 1 1 National Centre for Text Mining and University of Manchester 2University of Tokyo 3Database Centre for Life Science Add to Reading List Source URL: pontus.stenetorp.se Language: English - Date: 2015-12-23 11:28:10
289	Forgetting and Uniform Interpolation for ALC-Ontologies with ABoxes Patrick Koopmann,? Renate A. Schmidt The University of Manchester, UK {koopmanp, schmidt}@cs.man.ac.uk Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2014-07-07 10:05:50
290	THE FIFTH CONFERENCE OF THE EUROPEAN NETWORK FOR THE PHILOSOPHY OF THE SOCIAL SCIENCES (ENPOSS) UNIVERSITY OF HELSINKI, FINLAND AUGUST Add to Reading List Source URL: philsci.org Language: English - Date: 2015-10-07 23:28:03 Academic conferences Academia Conferences Knowledge EasyChair School of Computer Science University of Manchester Uskali Mki Electronic submission

UPDATE